Computability logic - PDFSEARCH.IO - Document Search Engine

Computability logic
Results: 552

#	Item
521	PDF Document Add to Reading List Source URL: www.inf.fu-berlin.de Language: English - Date: 2003-11-17 07:42:52 Functions and mappings Computability theory Lambda calculus Models of computation Formal methods Combinatory logic Free variables and bound variables Function Calculus Mathematics Theoretical computer science Mathematical logic
522	PDF Document Add to Reading List Source URL: www.daimi.au.dk Language: English - Date: 2005-09-29 06:19:55 Computability theory Randomness Theory of computation Turing machine Mathematical logic Kolmogorov complexity Complexity Algorithmically random sequence Universal Turing machine Theoretical computer science Mathematics Applied mathematics
523	PDF Document Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2010-01-20 12:43:08 Theoretical computer science Binary trees Computability theory Algorithm Mathematical logic Binary search tree Heap Greedy algorithm Tree Computer programming Mathematics Computing
524	PDF Document Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2005-09-04 16:36:13 Predicate logic Computability theory Formal methods Models of computation Combinatory logic Free variables and bound variables Function Variable First-order logic Mathematics Mathematical logic Lambda calculus
525	PDF Document Add to Reading List Source URL: www.contrib.andrew.cmu.edu Language: English - Date: 2003-09-30 13:07:13 Computability theory Proof theory Model theory Functions and mappings Elementary function arithmetic Peano axioms Primitive recursive function Primitive recursive arithmetic Second-order arithmetic Mathematical logic Mathematics Logic
526	PDF Document Add to Reading List Source URL: www.complang.tuwien.ac.at Language: English - Date: 2003-09-29 12:38:13 Lambda calculus Recursion Computability theory Theoretical computer science Subroutines Joy Fixed-point combinator Combinatory logic Forth Software engineering Computer programming Computing
527	PDF Document Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-02-23 19:27:20 Lambda calculus Theory of computation Computability theory Recursion Combinatory logic Fixed-point combinator Recursively enumerable set Computability Fixed point Theoretical computer science Computer science Applied mathematics
528	PDF Document Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2008-01-04 17:28:09 Computability theory Logic in computer science Proof theory Computational complexity theory Propositional proof system Decision problem ACC0 First-order logic Reverse mathematics Theoretical computer science Mathematical logic Mathematics
529	PDF Document Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2007-11-02 04:31:30 Computing Software engineering Theory of computation Recursion Mathematical logic Primitive recursive function Computability theory Computer programming Programming idioms
530	PDF Document Add to Reading List Source URL: www.cs.colostate.edu Language: English - Date: 2008-12-09 13:13:45 Mathematics Applied mathematics Computability theory Complexity classes Mathematical logic Recursively enumerable language RE Recursive language Recursively enumerable set Theoretical computer science Theory of computation Formal languages